Type checking and parameterized types

A method for implementing parameterized types is given. Two simplifying restrictions are assumed: types are only parameterized with other types, and assignment is like that of SNOBOL, CLU, and Smalltalk. An algorithm for type checking that handles parameterized types and overloading is presented

The design of the programming language X-2

The design of an experimental object-based programming language is discussed. The language is intended for investigating techniques for organization of programs

Smalltalk and exploratory programming

Using Smalltalk-80, programmers can produce prototypes much faster than with C or Pascal. What techniques do Smalltalk-80 programmers use to produce these prototypes? What is special about Smalltalk-80 that enables them to uses these techniques? Can these techniques be used with conventional languages such as C? In an attempt to answer these questions we interviewed experienced Smalltalk programmers and asked how they approach programming in Smalltalk. Such introspective interviews that are conducted after completion of a project are known to be somewhat unreliable, but not enough is known to use any other methodology. What follows is a summary of the interviews, followed by an explanation of the results. Finally we discuss some of the weaknesses of Smalltalk and some possible solutions

An alternative to subclassing

Smalltalk-80 obtains some of its expressive power from arranging classes in a hierarchy. Inheritance is an important aspect of this hierarchy. An alternative organization of classes is proposed that emphasizes description instead of inheritance. This alternative can be used with compile-time type checking and retains the important characteristics of Smalltalk's hierarchy

Type systems of object-oriented programming languages

Three different approaches to type checking have been taken in object-oriented programming languages. Smalltalk-80 uses run-time type checking. C++ uses subtypes. A third alternative is to use parameterized types. We examine the difficulties of programming in an object-oriented fashion with compile-time type checking and argue that parameterized types are better than subtypes in a language with compile-time type checking

What is object-oriented programming?

The term object-oriented is defined. This definition is then related to message-passing, inheritance, polymorphism, data abstraction, generics, and overloading

miR-181a is a novel player in the STAT3-mediated survival network of TCRαβ+ CD8+ T large granular lymphocyte leukemia

T-LGL cells arise as a consequence of chronic antigenic stimulation and inflammation and thrive because of constitutive activation of the STAT3 and ERK pathway. Notably, in 40% of patients, constitutive STAT3 activation is due to STAT3 activating mutations, whereas in 60% this is unknown. As miRNAs are amongst the most potent regulators in health and disease, we hypothesized that aberrant miRNA expression could contribute to dysregulation of these pathways. miRNA sequencing in T-LGL leukemia cases and aged-matched healthy control TEMRA cells revealed overexpression of miR-181a. Furthermore, geneset enrichment analysis (GSEA) of downregulated targets of miR-181a implicated involvement in regulating STAT3 and ERK1/2 pathways. Flow cytometric analyses showed increased SOCS3+ and DUSP6+ T-LGL cells upon miR-181a inhibition. In addition, miR-181a-transfected human CD8+ T cells showed increased basal STAT3 and ERK1/2 phosphorylation. By using TL1, a human T-LGL cell line, we could show that miR-181a is an actor in T-LGL leukemia, driving STAT3 activation by SOCS3 inhibition and ERK1/2 phosphorylation by DUSP6 inhibition and verified this mechanism in an independent cell line. In addition, miR-181a inhibition resulted in a higher sensitivity to FAS-mediated apoptosis. Collectively, our data show that miR-181a could be the missing link to explain why STAT3-unmutated patients show hyperactive STAT3

A red knot as a black swan:How a single bird shows navigational abilities during repeat crossings of the Greenland Icecap

Despite the wealth of studies on seasonal movements of birds between southern nonbreeding locations and High Arctic breeding locations, the key mechanisms of navigation during these migrations remain elusive. A flight along the shortest possible route between pairs of points on a sphere ('orthodrome') requires a bird to be able to assess its current location in relation to its migration goal and to make continuous adjustment of heading to reach that goal. Alternatively, birds may navigate along a vector with a fixed orientation ('loxodrome') based on magnetic and/or celestial compass mechanisms. Compass navigation is considered especially challenging for summer migrations in Polar regions, as continuous daylight and complexity in the geomagnetic field may complicate the use of both celestial and magnetic compasses here. We examine the possible use of orientation mechanisms during migratory flights across the Greenland Icecap. Using a novel 2 g solar-powered satellite transmitter, we documented the flight paths travelled by a female red knotCalidris canutus islandicaduring two northward and two southward migrations. The geometry of the paths suggests that red knots can migrate across the Greenland Icecap along the shortest-, orthodrome-like, path instead of the previously suggested loxodrome path. This particular bird's ability to return to locations visited in a previous year, together with its sudden course changes (which would be appropriate responses to ambient wind fields), suggest a map sense that enables red knots to determine location, so that they can tailor their route depending on local conditions